Buy Used and New Mario Bravetti Books

Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web ... Computer Science and General Issues)

by Mario Bravetti, Leila Kloul, Gianluigi Zavattaro

ISBN 13: 9783540287018

Format: Paperback (349 pages)
Publisher: Springer
Published: 25 Aug 2005

Save for later

Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings (Lecture Notes in Computer Science)

by Robert Hierons, Mercedes G. Merayo, Mario Bravetti

ISBN 13: 9783642405600

Format: Paperback (340 pages)
Publisher: Springer
Published: 12 Sep 2013

Save for later

Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings (Lecture Notes in Computer Science)

by Mario Bravetti, Manuel Núñz, Gianluigi Zavattaro

ISBN 13: 9783540388623

Format: Paperback (304 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Behavioral Types in Programming Languages (Foundations and Trends (R) in Programming Languages)

by Davide Ancona, Viviana Bono, Mario Bravetti

ISBN 13: 9781680831344

Format: Paperback (156 pages)
Publisher: Now Publishers Inc
Published: 03 May 2016

Save for later